System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
261	Introduction to Virtual Machines with VMKit Harris Bakiras, Supervisors : Gaël Thomas, Gilles Müller LIP6 REGAL TEAM – INRIA (Paris/France) Add to Reading List Source URL: vmkit.llvm.org Language: English - Date: 2013-05-07 10:09:00 Compiler construction Programming language implementation Cross-platform software Virtual machines Computing platforms LLVM Just-in-time compilation Java Bytecode Computing Software System software
262	c Academic Press. To appear. In Information and Computation Type Inference for Variant Object Types Michele Bugliesi Dipartimento di Informatica, Universit`a Ca’ Foscari di Venezia Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2009-02-03 06:51:06 Data types Computing Object-oriented programming Polymorphism Type systems Subtype polymorphism Symbol Inheritance System F Type theory Software engineering Programming language theory
263	PICBIT: A Scheme System for the PIC Microcontroller Marc Feeley / Universit´e de Montr´eal Danny Dub´e / Universit´e Laval ABSTRACT Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:30 Computer architecture Memory management Data types Programming language implementation Garbage collection PIC microcontroller Pointer 16-bit C Computing Software engineering Microcontrollers
264	Vermilya (Updated: A S: ‘Falline’. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . s tartedcl Add to Reading List Source URL: stokednboard.surfingheritage.org Language: English - Date: 2015-04-02 08:15:20 Object-oriented programming Common Lisp Common Lisp Object System Lisp programming language
265	Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2014-03-19 11:20:37 Functional languages Type theory Procedural programming languages Theoretical computer science Logic in computer science OCaml Type system Coq ML Software engineering Computing Programming language theory
266	Kentico CMS security facts Kentico CMS security facts ELSE 1 Add to Reading List Source URL: devnet.kentico.com Language: English - Date: 2012-04-27 07:32:41 Software Unix PHP programming language System administration System software Computing Shadow password SilverStripe Cryptography Password Salt
267	Operating System Exercises 20102013 Rahmat M. SamikIbrahim et. al. http://rms46.vLSM.orgpdf Contributors: Rahmat M. SamikIbrahim (VauLSMorg), Muhammad H. Hilman, Heri Kurniawan, Amril Syali Add to Reading List Source URL: rms46.vlsm.org Language: English - Date: 2014-03-11 06:15:35 Computing Programming language theory ALGOL 68 Software engineering
268	Handbook of Applications of Chaos Theory by Christos H Skiadas and Charilaos Skiadas, Editors Add to Reading List Source URL: www.cmsim.org Language: English - Date: 2013-02-07 17:03:05 Algorithm Mathematical logic Theoretical computer science Computer program Programming language Computer Human–computer interaction Robotics System Computing Software engineering Computer programming
269	Information at all.nethttp://all.net/ Add to Reading List Source URL: all.net Language: English - Date: 2013-07-10 14:08:57 Computer network security Programming language implementation Virtualization Computer security Hardware virtualization Multiple single-level System software Software Virtual machines
270	Microsoft PowerPoint - UPC-Perf-Model.ppt Add to Reading List Source URL: upc.gwu.edu Language: English - Date: 2013-12-04 13:04:30 Data management Barcodes Identifiers Supply chain management Universal Product Code Vectorization Type system Parallel computing Partition Compiler optimizations Programming language theory Computing

UPDATE